home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / t3_1 / risc_src.lha / risc_sources / tman / port.aux < prev    next >
Latex Auxiliary File  |  1990-10-02  |  2KB  |  40 lines

  1. \relax 
  2. \@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {15}Ports}{101}}
  3. \@writefile{lof}{\string\addvspace\space {10pt}}
  4. \@writefile{lot}{\string\addvspace\space {10pt}}
  5. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {15.1}General}{101}}
  6. \newlabel{WITH-OPEN-PORTS}{{15.1}{102}}
  7. \newlabel{CLOSE}{{15.1}{102}}
  8. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {15.2}Port switches}{102}}
  9. \newlabel{TERMINAL-INPUT}{{15.2}{102}}
  10. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {15.3}Input}{103}}
  11. \newlabel{READ-CHAR}{{15.3}{103}}
  12. \newlabel{UNREAD-CHAR}{{15.3}{103}}
  13. \newlabel{READ}{{15.3}{104}}
  14. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {15.4}Output}{104}}
  15. \newlabel{PRETTY-PRINT}{{15.4}{105}}
  16. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {15.5}Formatted output}{105}}
  17. \newlabel{FORMAT}{{15.5}{105}}
  18. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {15.6}Miscellaneous}{106}}
  19. \newlabel{PORT-READ-TABLE}{{15.6}{106}}
  20. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {15.7}Example}{107}}
  21. \global\@namedef{cp@port}{
  22. \setcounter{page}{108}
  23. \setcounter{equation}{0}
  24. \setcounter{enumi}{0}
  25. \setcounter{enumii}{0}
  26. \setcounter{enumiii}{0}
  27. \setcounter{enumiv}{0}
  28. \setcounter{footnote}{0}
  29. \setcounter{mpfootnote}{0}
  30. \setcounter{part}{0}
  31. \setcounter{chapter}{15}
  32. \setcounter{section}{7}
  33. \setcounter{subsection}{0}
  34. \setcounter{subsubsection}{0}
  35. \setcounter{paragraph}{0}
  36. \setcounter{subparagraph}{0}
  37. \setcounter{figure}{0}
  38. \setcounter{table}{0}
  39. }
  40.